Problem: Calling a method `this.m()` means that `m` has accessed to every field of `this` and we cannot control which ones are accessed and how. Solution: Add a static analysis to prevent non-static method in spacetime modules. See also #3.
