fix trail environment
rem wrong views
rem wrong views
code simplification
fix bool views reformulation