// "cond-03.hac"
// copy-modified from "cond-02.hac"
// should pass -- conditional PRS bodies

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

ass<1> x;
ass<2> y;

