ModelSim does not support the following SystemVerilog constructs that are supported in Questa:
- program blocks
- assertions
- covergroups
- randomize()
In any case, I do not recommend the use of program
blocks for any user. See http://go.mentor.com/programblocks