Alloy 0.3.6: does not support dynamic styling. like expr()