modify offset check to accept linear expressions over numerals. Codeplex issue 81

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>