Add try_prove_nless action
Add try_prove_nless to theorize workflow