Fix for Issue "Indexing ass"

Renamed the associativity law from 'ass' to 'assoc'.