More warnings for clang
Fixed minor bug in MBA

The expression properties were not filled.