Cleaning up help
Fixes #252
Fixes #254
Fixes #253. Don't try to flatten logic expression but accept the tree model