Add a proper check to verify that input is in the acyclic or straight-line fragment

[pruemmer]

Raise an error if input is in a form that is not supported. At the moment, ill-formed input sometimes leads to errors that are not very instructive, or even wrong results.