- renamed time dependency test stuff
- integrated SSA construction
test works for checking whether term is affected by action
fix: wron parameter signature in call to occur