supercons1(type(_), args([arg(type(_))])).
supercons2(type(_), args([arg(type(_)), arg(type(_))])).
supercons3(type(_), args([arg(type(_)), arg(type(_)), arg(type(_))])).
