Predicate signature MakeImpl::Impl::StageSig::storeStepCand
signature predicate storeStepCand(NodeEx node1, Ap ap1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)signature predicate storeStepCand(NodeEx node1, Ap ap1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)