// "cond-01.hac"
// now passes: prs inside instance_management scope
// accepted on HACKT-00-01-04-main-00-81-95-ACT-02 branch

template <pint N>
defproc ass() {
	bool x, a;
	[N!=0 && N!=1->
		prs {
			x -> a-
		}
	]
}

ass<0> a0;
ass<1> a1;
ass<2> a2;

