Implement OPTIONALLY connective for inference rules
Implement optional succedents in rule compiler