Removed non-Spice pattern matching.