Modeling Infinite Behaviour by Corules