Fixed initial state and transition relation for condacts

Need a separate set of output variables, initial values of condact are
be different from initial values of node