
#
# Test for a rule with one expression and two types 
#

WAY 1
A=1
B=1

<<<lines>>>

A=1 & B=1 [0x1 resolution 24][0x10801 resolution 18]
# short form for
# A=1 & B=1 [0x1 resolution 24 continue]
# A=1 & B=1 [0x10801 resolution 18]
 
<<<results>>>
NO-STRICT
WAY 1: Line 0x1, labels=[null, null, null, null], res=24-24 (1/1),(2/2),
WAY 1: Line 0x10801, labels=[null, null, null, null], res=18-24 (1/1),(2/2),
