dataflow analysis: fix when no actors
dataflow: ignore accesses to non-actors (finite statements)
polyhedral model: avoid empty domain for scalar expressions
polyhedral AST: omit non-actor stmts in periodic model