I second Marks' comment. In Alberta, when you have a sperate lease which makes no reference to the option, just file at RTDRS as normal and away you go.
Two other comments. When it comes to evictions there's no 'almost'. They're either in breach or not, and you either evict them, or you...