Fixed problems with some rule translations +

See merge request !2

# Conflicts:
#   .vscode/launch.json

Merge branch 'timer-and-incremental' of https://git-service.ait.ac.at/sct-dse-projects/trusted/implementation into timer-and-incremental

# Conflicts:
#	src/main/java/at/ac/ait/threatGet/solver/Mitigator.java

ignore rules without attribute checks

Still open:
- Flow filter
- crosses for flow
- filterExpr for other stuff

Merge branch 'enum-sorts' of git-service.ait.ac.at:sct-dse-projects/trusted/implementation into enum-sorts