Rework (is (and ... to multiple (is -es
Remove is-not
Add register-dump and improve error reporting