Differentiate apply and getVal method on vars with SyntaxNode
Reflect signal access
Enable inference
Spec for inference