Predicate signature MakeImplStage1::Stage1Output::localStep1
signature predicate localStep1(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)signature predicate localStep1(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)