Solved a bug in suspend_instr. Now it should work within a server, but more tests are needed.
Solved two bugs on the CBS + suspend instruction.
Now, virtual_time is represented with a double.
(Should use rational instead...)