const length = 2.

goal(T):- time(T), trans(test, 0, T).

goal(T+1):- time(T), T < length, goal(T).

:- not goal(length).

proc(test).
head(test, a).
tail(test, if1).

if(if1,fml,b,null).

is_formula(fm1).
isor(fm1, g, h).