refactoring Actions/States of analysis

moving concrete Actions and States into corresponding modules
simplification of Nullable parameter analysis

Instead of detecting that a parameter was passed into interface call, we can deduce NPE directly in interpreter.