Static Ifs

- @if(staticTerm) removes imports, declarations, members, statements, cases, arguments, fields, and similar contributions before checking and output
- @if is resolved before inference