Add Travis configuration
Define invariant syntactically correctly

The invariant definition without parentheses is still experimental
feature.