Added special bisimilarity for everywhere defined streams
Removed unnecessary stuff