Function is_equivalent 

pub fn is_equivalent(l1: &Level, l2: &Level) -> bool

Check if two levels are semantically equivalent.

First tries structural equality, then falls back to normalization.