adding livness assumptions generation (need to work on combination of current inputs