More or less done with synthesis semantics
fix in Synthesizable patch
Code and patches starting simulation semantics